Andrew Saul

#	Item
411	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
412	Nonclassical Carbocations H H C Add to Reading List Source URL: stoltz.caltech.edu Language: English - Date: 2010-04-15 21:11:37 Reactive intermediates Cations Saul Winstein Carbocation George Andrew Olah Neighbouring group participation Solvolysis Chemistry Physical chemistry Physical organic chemistry
413	Sequestration and Your TSP Account If you have been furloughed as a result of sequestration, you may be wondering how to deal with the financial Add to Reading List Source URL: www.arguard.org Language: English - Date: 2013-06-28 14:35:46 Federal Retirement Thrift Investment Board Finance Thrift Savings Plan Personal finance Loans Andrew Saul Financial economics Investment Civil service in the United States